621. Assignment problems
پدیدآورنده: Burkard, Rainer E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Assignment problems )Programming(,Mathematics ، Computer science
رده :
QA
402
.
6
.
B87
622. Asymptotic Combinatorial Coding Theory
پدیدآورنده: by Volodia Blinovsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computational complexity.,Computer engineering.,Engineering.
623. Asymptotic geometric analysis
پدیدآورنده: Monika Ludwig ... [et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Geometric analysis, Congresses
رده :
QA360
.
A89
2013
624. Asymptotics and special function
پدیدآورنده: / [by] F. W. J. Olver
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Functions, Special,Asymptotic expansions,Differential equations- Numerical solutions
رده :
QA351
.
O48
625. Asymptotics and special function
پدیدآورنده: / [by] F. W. J. Olver
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functions, Special,Asymptotic expansions,Differential equations, Numerical solutions
رده :
QA351
.
O48
1974
626. Asymptotics and special functions
پدیدآورنده: Olver, Frank W. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Functions, Special,، Asymptotic expansions,، Differential equations-- Numerical solutions
رده :
QA
351
.
O48
627. At the intersection of language, logic, and information :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
628. Atlas for computing mathematical functions: an illustrated guide for practitioners, with programs in C and Mathematica
پدیدآورنده: Thompson, William Jackson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Computer programs ، Functions,Mathematics Computer programs ، Science,، C )Computer program language(,، Mathematica )Computer program language(
رده :
QA
331
.
T385
629. Attempto controlled English as a semantic web language
پدیدآورنده: [by] Kaarel Kaljurand.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
630. Automata and computability /
پدیدآورنده: Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
631. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
632. Automata, logics, and infinite games
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
633. Automata, logics, and infinite games
پدیدآورنده: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
634. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
635. Automata on infinite words
پدیدآورنده: Ecole de printemps d'informatique theorique, Le Mont Dore, May 41-81, 4891 ; edited by M. Nivat and D. Perrin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L4
v
.
192
636. Automata on infinite words
پدیدآورنده: Ecole de printemps d'informatique theorique )4891: Le Mont-Dore, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Word problems )Mathematics(-- Congresses
رده :
QA
267
.
E26
1984
637. Automata on infinite words : Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984
پدیدآورنده: edited by M. Nivat and D. Perrin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L28
Vol
.
192
638. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
639. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
640. Automated Reasoning and Mathematics
پدیدآورنده: / Maria Paola Bonacina, Mark E. Stickel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
